gluable($I$;$l$;${\it tg}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(source($l$) $\in$ ma{-}interface{-}locs($I$)) $\Rightarrow$ ($\neg$(rcv($l$,${\it tg}$) $\in$ ma{-}interface{-}dom($I$;source($l$))))